Patrick Suppes Richard
نویسندگان
چکیده
This paper discusses the potential role of computer-assisted instruction (CAI) in providing compensatory education for disadvantaged children.
منابع مشابه
Finite Models of Eleimentaxy Recursive Nonstandard Analysis
This paper provides a new proof of the consistency of the formal system presented by Chuaqui and Suppes in [2, 9). First, a simpler, yet stronger, system, called Elementary Recursive Nonstandard Analysis, ERNA, will be provided. Indeed, it will be shown that ERNA proves all of the theorems of the Chuaqui and Suppes system. Then a finitary consistency proof of ERNA dl be given; in particular, we...
متن کاملTransfer and a supremum principle for ERNA
Elementary Recursive Nonstandard Analysis, in short ERNA, is a constructive system of nonstandard analysis proposed around 1995 by Patrick Suppes and Richard Sommer, who also proved its consistency inside PRA. It is based on an earlier system developed by Rolando Chuaqui and Patrick Suppes, of which Michal Rössler and Emil Jeřábek have recently proposed a weakened version. We add a Π1-transfer ...
متن کامل